type Foo = A | B
